A Rule-Oriented Formalism for Active Temporal Databases
نویسندگان
چکیده
This paper introduces a declarative conceptual modelling formalism and a database transaction handling mechanism for active temporal database applications. The term ‘active temporal databases’ is used in this paper to refer to databases that support historical information and in addition, provide mechanisms to express and handle constraints, derivations and actions on the stored information. The conceptual modelling languages are the Entity-Relationship-Time (ERT) model, which deals with the definition of the structural aspects of the application including time modelling and complex objects, and the Conceptual Rule Language (CRL) which deals with the definition of constraints, derivations and actions expressed on the ERT model. At the database operation level the functionality expressed by the ERT model and the CRL language is realised by the Database Rule Language (DRL) which uses trigger-condition-action rules as a generic mechanism for the specification of procedures which are executed automatically when certain conditions arise.
منابع مشابه
Temporal Rule Specification and Management in Object-oriented Knowledge Bases
There have been many recent research efforts on temporal databases for managing current and historical data and on active databases for monitoring real-world events as well as data conditions/constraints by rules and triggers. However, the specification and management of temporal rules in active object-oriented databases has not been investigated. This paper deals with the specification and man...
متن کاملUpdating Atomic Information in Labelled Database Systems ( Extended
This paper investigates the applications of Labelled Deductive Systems (LDS) as a framework for the development of a computational formalism for the description of active historical databases. This formalism is then applied to the study of retroactive updates. The propositional temporal logic USV/Z for temporal validity is presented and we prove its soundness and completeness. The historical da...
متن کاملUpdating Atomic Information in Labelled Database Systems ( Extended Abstract )
This paper investigates the applications of Labelled Deductive Systems (LDS) as a framework for the development of a computational formalism for the description of active historical databases. This formalism is then applied to the study of retroactive updates. The propositional temporal logic USV/'Z for temporal validity is presented and we prove its soundness and completeness. The historical d...
متن کاملTime Granularity in Temporal Data Mining
In this chapter, a formalism for a specific temporal data mining task (the discovery of rules, inferred from databases of events having a temporal dimension), is defined. The proposed theoretical framework, based on first-order temporal logic, allows the definition of the main notions (event, temporal rule, confidence) in a formal way. This formalism is then extended to include the notion of te...
متن کامل